(require* transportes)

(defrule exist-connection
    ?phase <- (phase begin)
    ?f1 <- (transporte (tipo ?tipo) (id ?id) (paragens $?antes ?x $?depois))
    ?f2 <- (transporte (tipo ?tipo2) (id ?id2&~?id) (paragens $? ?x $?))
    => 
    (printout t "tipo1: " ?tipo " id: " ?id crlf)
    (printout t "tipo2: " ?tipo2 " id: " ?id2 crlf)
    (printout t "estacao: " ?x crlf)
    (printout t "antes: " ?antes crlf)
    (printout t "depois: " ?depois crlf)
    (printout t "----" crlf)
    ;(retract ?phase)
    ;(letsRock)
    )

;encontrar um dado percurso (origem e destino) entre os transportes

